More from this Author

Handbook of Constructive Mathematics

by Douglas Bridges (Editor), Hajime Ishihara (Editor), Michael Rathjen (Editor), Helmut Schwichtenberg (Editor)

Computational Logic

by Ulrich Berger (Editor), Helmut Schwichtenberg (Editor)

Computational Logic

by Ulrich Berger (Editor), U. Martin (Contribution by), J. Meseguer (Contribution by), Helmut Schwichtenberg (Editor), J. Girard (Contribution by), D. Miller (Contribution by), S. R. Buss (Contribution by), S. S. Wainer (Contribution by), P. Aczel (Contribution by), H. Barendregt (Contribution by), R. L. Constable (Contribution by)

Computer Science Logic

by Workshop on Computer Science Logic Staff, Peter G. Clote (Editor), Helmut Schwichtenberg (Editor), European Association for Computer Science Logic Staff, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Logic and Algebra of Specification

by Friedrich L. Bauer (Editor), Wilfried Brauer (Editor), Helmut Schwichtenberg (Editor)

Logic of Computation

by Helmut Schwichtenberg (Editor)